Towards precise, safe genome editing

Towards CRISPR/Cas crops - bringing together genomics and genome editing.

Contents 682 I. 682 II. 683 III. 684 IV. 685 V. 685 VI. 688 VII. 690 VIII. 694 694 References 694 SUMMARY: With the rapid increase in the global population and the impact of climate change on agriculture, there is a need for crops with higher yields and greater tolerance to abiotic stress. However, traditional crop improvement via genetic recombination or random mutagenesis is a laborious proce...

Synthesizing Safe Bit-Precise Invariants

Bit-precise software verification is an important and difficult problem. While there has been an amazing progress in SAT solving, Satisfiability Modulo Theory of Bit Vectors, and bit-precise Bounded Model Checking, proving bit-precise safety, i.e. synthesizing a safe inductive invariant, remains a challenge. Although the problem is decidable and is reducible to propositional safety by bit-blast...

Genome Editing



SAFE: Structure-aware facade editing

Many man-made objects, in particular building facades, exhibit dominant structural relations such as symmetry and regularity. When editing these shapes, a common objective is to preserve these relations. However, often there are numerous plausible editing results that all preserve the desired structural relations of the input, creating ambiguity. We propose an interactive facade editing framewo...

Precise Editing of a Target Base in the Rice Genome Using a Modified CRISPR/Cas9 System.

CRISPR/Cas9 (clustered regularly interspaced short palindromic repeats/CRISPR-associated Cas9) has been widely used in genome editing in a variety of organisms, including rice (Cong et al., 2013; Feng et al., 2013). The majority of the editing events reported in plants typically result in an abundance of random insertions and deletions (Indels) at the target locus through the error-prone non-ho...